15 research outputs found

    How efficient is an integrative approach in archaeological geophysics? Comparative case studies from Neolithic settlements in Thessaly (Central Greece)

    Get PDF
    The geophysical prospection of Neolithic tells imposes specific challenges due to the preservation and nature of the architectural context and the multiple, usually disturbed, soil strata. Contrary to the usual application of a single method, this paper deals with the advantages of using an integrated geophysical approach through the employment of various methodologies to map the Neolithic cul-tural and environmental landscape of Thessalian tells (magoules) in Central Greece. The success and failure of each method in resolving the various features of the magoules are discussed in detail, and as a whole, they demonstrate the benefits of a manifold geophysical prospection of the sites

    A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Get PDF
    The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process composition, with guaranteed deadlock freedom, systematic resource accounting, and concurrent execution. We introduce algorithms to automate the necessary inference steps for binary compositions of processes in parallel, conditionally, and in sequence. We combine decision procedures and heuristics to achieve intuitive and practically useful compositions in an applied setting.Comment: Post-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326). arXiv admin note: substantial text overlap with arXiv:1803.0261

    Simulating the Use of a Smelter Off-Gas in the Precipitation Stage of the Pedersen Process

    No full text
    The Pedersen process is an alumina production process, which combines pyrometallurgical and hydrometallurgical methods. In the pyrometallurgical stage, limestone is calcined and CO2 is generated. This off-gas can be captured with a high CO2 concentration. At the end of the hydrometallurgical process, aluminum hydroxides, like bayerite, are precipitated using CO2. In this paper, experimental work on precipitation of aluminum hydroxides through the addition of a mixture of CO2, O2 and N2 is presented. The parameters varied, as were the percentages of each gas and the temperature. The indicators measured were the time until the beginning of precipitation and the time that the precipitation lasts. These tests simulate the use of a smelter furnace off-gas in the precipitation stage of the Pedersen process and have shown promising results

    Sister Mary Joseph's nodule: Three case reports

    No full text
    Background: An umbilical metastatic lesion is called 'Sister Mary Joseph's nodule'. It is an uncommon clinical or radiographic finding, and it is rare as the first sign of a malignant disease. Case presentation: We report three cases of Sister Mary Joseph's nodule. In the three cases presented, the primary tumor was an adenocarcinona of the sigmoid colon, a carcinoma of the bladder, and an adenocarcinoma of the gallbladder, respectively. Conclusion: The differential diagnosis of an umbilical lesion should always include metastatic disease apart from benign lesions and primary neoplasms. © 2008 Larentzakis et al; licensee BioMed Central Ltd
    corecore